{"type":"getPostByPath","data":{"title":"矩阵求导","date":"2024-05-09T15:26:30.000Z","description":"","categories":[],"tags":[],"content":"

矩阵求导的本质与分子布局、分母布局的本质(矩阵求导 —— 本质篇)

\n

前言

\n

在一个多月前,针对有同学关于矩阵求导中分子布局、分母布局两者的区别的疑问,我写了如下的这篇答案。

\n

虽然这篇答案给出了几个结论,但是写的没有很严谨,并没有说明矩阵求导本质分子布局分母布局本质

\n

所以,在接下来这篇文章中,我将更严谨地说明矩阵求导的本质与分子布局分母布局本质。希望对初学的同学、想理解本质的同学提供一些帮助。

\n

注 1:看懂本文只需了解本科阶段高等数学的偏导如何求、本科阶段线性代数的矩阵 * 的定义,无需任何其他知识。*

\n

注 2:本文若无特殊说明,则约定向量均为 * 列向量,*

\n

注 3:本文仅考虑实数,不考虑复数。**

\n

函数与标量、向量、矩阵 [1]

\n

考虑一个函数

\n

\n

针对 的类型、 的类型,我们可以将这个函数 分为不同的种类。

\n

1、 是一个标量

\n

我们称 是一个 ** 实值标量函数。** 用细体小写字母 f 表示。

\n

1.1 是一个标量

\n

我们称 变元是 ** 标量。** 用细体小写字母 x 表示。

\n

例 1:

\n

\n

1.2 是一个向量

\n

我们称 变元向量。粗体小写字母 表示。

\n

** 例 2:** 设

\n

$$f(\\pmb{x})=a_1x_12+a_2x_22+a_3x_3^2+a_4x_1x_2 (e.g.2)$$

\n

1.3 是一个矩阵

\n

我们称 变元矩阵。粗体大写字母 表示。

\n

** 例 3:** 设 $\\pmb {X}{3\\times 2}=(x{ij})_{i=1,j=1}^{3,2}$

\n

$$f(\\pmb{X})=a_1x_{11}2+a_2x_{12}2+a_3x_{21}2+a_4x_{22}2+a_5x_{31}2+a_6x_{32}2 (e.g.3)$$

\n

2、 是一个向量

\n

我们称 是一个实向量函数 。用粗体小写字母 表示。

\n

含义 是由若干个 组成的一个向量

\n

同样地,变元分三种:标量、向量、矩阵。这里的符号仍与上面相同。

\n

2.1 标量变元

\n

例 4:

\n

\n

2.2 向量变元

\n

** 例 5:** 设

\n

$$\\pmb{f}{3\\times1}(\\pmb{x})= = \\begin{bmatrix} x{1}+x_{2}+x_{3}\\ x_{1}^2+2x_{2}+2x_{3}\\ x_{1}x_{2}+x_{2}+x_{3} \\end{bmatrix} (e.g.5)$$

\n

2.3 矩阵变元

\n

** 例 6:** 设 $\\pmb {X}{3\\times 2}=(x{ij})_{i=1,j=1}^{3,2}$

\n

$$\\pmb{f}{3\\times1}(\\pmb{X})= = \\begin{bmatrix} x{11}+x_{12}+x_{21}+x_{22}+x_{31}+x_{32}\\ x_{11}+x_{12}+x_{21}+x_{22}+x_{31}+x_{32}+x_{11}x_{12}\\ 2x_{11}+x_{12}+x_{21}+x_{22}+x_{31}+x_{32}+x_{11}x_{12} \\end{bmatrix} (e.g.6)$$

\n

3、 是一个矩阵

\n

我们称 是一个实矩阵函数 。用粗体大写字母 表示。

\n

含义 是由若干个 f 组成的一个矩阵

\n

同样地,变元分三种:标量、向量、矩阵。这里的符号仍与上面相同。

\n

3.1 标量变元

\n

例 7:

\n

$$\\pmb{F}{3\\times2}(x)= \\begin{bmatrix} f{11}(x) & f_{12}(x)\\ f_{21}(x) & f_{22}(x)\\ f_{31}(x) & f_{32}(x)\\ \\end{bmatrix} = (e.g.7)$$

\n

3.2 向量变元

\n

** 例 8:** 设

\n

$$\\pmb{F}{3\\times2}(\\pmb{x})= \\begin{bmatrix} f{11}(\\pmb{x}) & f_{12}(\\pmb{x})\\ f_{21}(\\pmb{x}) & f_{22}(\\pmb{x})\\ f_{31}(\\pmb{x}) & f_{32}(\\pmb{x})\\ \\end{bmatrix} = (e.g.8)$$

\n

3.3 矩阵变元

\n

** 例 9:** 设 $\\pmb {X}{3\\times 2}=(x{ij})_{i=1,j=1}^{3,2}$

\n

$$ \\pmb{F}{3\\times2}(\\pmb{X})= \\begin{bmatrix} f{11}(\\pmb{X}) & f_{12}(\\pmb{X})\\ f_{21}(\\pmb{X}) & f_{22}(\\pmb{X})\\ f_{31}(\\pmb{X}) & f_{32}(\\pmb{X})\\ \\end{bmatrix}= (e.g.9)$$

\n

4、总结

\n

\"\"

\n

函数与标量、向量、矩阵

\n

矩阵求导的本质

\n

我们在高等数学 [2] 中学过,对于一个多元函数

\n

例 10:

\n

\n

我们可以将 f 对 偏导分别求出来 **,即:**

\n

\n

矩阵求导也是一样的,本质就是 中的每个 f 分别对变元中的每个元素逐个求偏导,只不过写成了向量、矩阵形式而已。

\n

对于 (e.g.10) ,我们把得出的 3 个结果写成列向量形式:

\n

\n

一个矩阵求导以列向量形式展开的雏形就出现了。

\n

当然我们也可以以行向量形式展开:

\n

\n

所以,如果 中有 m 个 f ,变元中有 n 个元素,那么,每个 f 对变元中的每个元素逐个求偏导后,我们就会产生 个结果。

\n

这就是矩阵求导的本质。

\n

至于这 个结果的布局,是写成行向量,还是写成列向量,还是写成矩阵,就是我们接下来要讨论的事情。

\n

矩阵求导结果的布局

\n

不严谨地说,从直观上看:

\n

分子布局,就是分子是列向量形式,分母是行向量形式,如 (2) 式。如果这里的 实向量函数 的话,结果就是 的矩阵了:

\n

$$\\frac{\\partial \\pmb{f}{2\\times1}(\\pmb{x})}{\\partial \\pmb{x}^T{3\\times1}}= _{2\\times 3} (3)$$

\n

分母布局,就是分母是列向量形式,分子是行向量形式,如 (1) 式。如果这里的 实向量函数 的话,结果就是 的矩阵了:

\n

$$\\frac{\\partial \\pmb{f}^T_{2\\times1}(\\pmb{x})}{\\partial \\pmb{x}{3\\times1}}= {3\\times 2} (4)$$

\n

直观上理解了之后,我们针对不同类型的 ,不同类型的变元,给出严谨的布局说明。(这里不讨论标量变元的实值标量函数 f (x) ,因为结果就是一个元素嘛~)

\n

1、向量变元的实值标量函数

\n

1.1 行向量偏导形式(又称行偏导向量形式)[3]

\n

\n

1.2 梯度向量形式(又称列向量偏导形式、列偏导向量形式)[4]

\n

\n

这两种形式互为转置

\n

2、矩阵变元的实值标量函数 $f (\\pmb {X}) , \\pmb {X}{m\\times n}=(x{ij})_{i=1,j=1}^{m,n}$

\n

先介绍一个符号 ,作用是将矩阵 按列堆栈来向量化。

\n

解释一下, 就是把矩阵 的第 1 列,第 2 列,直到第 n 列取出来,然后按顺序组成一个列向量,即:

\n

\n

2.1 行向量偏导形式(又称行偏导向量形式)[3:1]

\n

即先把矩阵变元 向量化,转换成向量变元,再对该向量变元使用 (5) 式:

\n

$$\\text{D}{\\text{vec}\\pmb{X}}f(\\pmb{X})= \\frac{\\partial f(\\pmb{X})}{\\partial \\text{vec}^T(\\pmb{X})} = [ \\frac{\\partial f}{\\partial x{11}},\\frac{\\partial f}{\\partial x_{21}},\\cdots,\\frac{\\partial f}{\\partial x_{m1}},\\frac{\\partial f}{\\partial x_{12}},\\frac{\\partial f}{\\partial x_{22}},\\cdots,\\frac{\\partial f}{\\partial x_{m2}},\\cdots,\\frac{\\partial f} {\\partial x_{1n}},\\frac{\\partial f}{\\partial x_{2n}},\\cdots,\\frac{\\partial f}{\\partial x_{mn}} ] (8)$$

\n

2.2 矩阵形式 [3:2]

\n

即先把矩阵变元 进行转置,再对转置后每个位置的元素逐个求偏导,结果布局和转置布局一样

\n

$$\\text{D}{\\pmb{X}}f(\\pmb{X})= \\frac{\\partial f(\\pmb{X})}{\\partial \\pmb{X}^T{m\\times n}}= _{n\\times m} \\ (9)$$

\n

2.3 梯度向量形式(又称列向量偏导形式、列偏导向量形式)[4:1]

\n

即先把矩阵变元 向量化,转换成向量变元,再对该变元使用 (6) 式:

\n

\n

2.4 梯度矩阵形式 [4:2]

\n

直接对原矩阵变元 每个位置的元素逐个求偏导,结果布局和原矩阵布局一样

\n

$$\\nabla_{\\pmb{X}}f(\\pmb{X})= \\frac{\\partial f(\\pmb{X})}{\\partial \\pmb{X}{m\\times n}} = \\begin{bmatrix} \\frac{\\partial f}{\\partial x{11}}&\\frac{\\partial f}{\\partial x_{12}}&\\cdots&\\frac{\\partial f}{\\partial x_{1n}} \\ \\frac{\\partial f}{\\partial x_{21}}&\\frac{\\partial f}{\\partial x_{22}}& \\cdots & \\frac{\\partial f}{\\partial x_{2n}}\\ \\vdots&\\vdots&\\vdots&\\vdots\\ \\frac{\\partial f} {\\partial x_{m1}}&\\frac{\\partial f}{\\partial x_{m2}}&\\cdots&\\frac{\\partial f}{\\partial x_{mn}} \\end{bmatrix}_{m\\times n} \\ (11)$$

\n

2.5 一些发现

\n

2.5.1 转置

\n

(8) 式与 (10) 式互为转置; (9) 式与 (11) 式互为转置

\n

2.5.2 相等

\n

矩阵变元 本身就是一个列向量 时, (5) 式、 (8) 式、 (9) 式相等; (6) 式、 (10) 式、 (11) 式相等;当然,前三个式子与后三个式子互为转置

\n

这一发现说明,对于向量变元的实值标量函数 ,结果布局本质上有两种形式,一种是 矩阵(已经成行向量了)形式,一种是梯度矩阵(已经成列向量了)形式。两种形式互为转置

\n

3、矩阵变元的实矩阵函数 $\\pmb {F}(\\pmb {X}) , \\pmb {X}{m\\times n}=(x{ij}){i=1,j=1}^{m,n}, \\pmb{F}{p\\times q}=(f_{ij})_{i=1,j=1}^{p,q}$

\n

3.1 矩阵形式 [5]

\n

即先把矩阵变元 向量化,转换成向量变元:

\n

\n

再把实矩阵函数 向量化,转换成实向量函数:

\n

\n

这样,我们就把一个矩阵变元的实矩阵函数 ,转换成了向量变元的实向量函数 。接着,对照 (3) 式写出结果布局为 的矩阵:

\n

$$\\text{D}{\\pmb{X}}\\pmb{F}(\\pmb{X}) =\\frac{\\partial \\text{vec}{pq\\times 1}(\\pmb{F}{}(\\pmb{X}))}{\\partial \\text{vec}^T{mn\\times 1}\\pmb{X}} = _{pq\\times mn} \\ (13)$$

\n

3.2 梯度矩阵形式 [6]

\n

即先把矩阵变元 向量化,转换成向量变元:

\n

\n

再把实矩阵函数 向量化,转换成实向量函数:

\n

\n

这样,我们就把一个矩阵变元的实矩阵函数 ,转换成了向量变元的实向量函数 。接着,对照 (4) 式写出结果布局为 的矩阵:

\n

$$\\nabla_{\\pmb{X}}\\pmb{F}(\\pmb{X}) =\\frac{\\partial \\text{vec}{pq\\times 1}^T(\\pmb{F}{}(\\pmb{X}))}{\\partial \\text{vec}{mn\\times 1}\\pmb{X}} = \\begin{bmatrix} \\frac{\\partial f{11}}{\\partial x_{11}}&\\frac{\\partial f_{21}}{\\partial x_{11}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{11}}&\\frac{\\partial f_{12}}{\\partial x_{11}}&\\frac{\\partial f_{22}}{\\partial x_{11}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{11}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{11}}&\\frac{\\partial f_{2q}}{\\partial x_{11}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{11}}\\ \\frac{\\partial f_{11}}{\\partial x_{21}}&\\frac{\\partial f_{21}}{\\partial x_{21}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{21}}&\\frac{\\partial f_{12}}{\\partial x_{21}}&\\frac{\\partial f_{22}}{\\partial x_{21}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{21}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{21}}&\\frac{\\partial f_{2q}}{\\partial x_{21}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{21}}\\ \\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots\\ \\frac{\\partial f_{11}}{\\partial x_{m1}}&\\frac{\\partial f_{21}}{\\partial x_{m1}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{m1}}&\\frac{\\partial f_{12}}{\\partial x_{m1}}&\\frac{\\partial f_{22}}{\\partial x_{m1}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{m1}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{m1}}&\\frac{\\partial f_{2q}}{\\partial x_{m1}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{m1}}\\ \\frac{\\partial f_{11}}{\\partial x_{12}}&\\frac{\\partial f_{21}}{\\partial x_{12}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{12}}&\\frac{\\partial f_{12}}{\\partial x_{12}}&\\frac{\\partial f_{22}}{\\partial x_{12}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{12}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{12}}&\\frac{\\partial f_{2q}}{\\partial x_{12}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{12}}\\ \\frac{\\partial f_{11}}{\\partial x_{22}}&\\frac{\\partial f_{21}}{\\partial x_{22}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{22}}&\\frac{\\partial f_{12}}{\\partial x_{22}}&\\frac{\\partial f_{22}}{\\partial x_{22}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{22}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{22}}&\\frac{\\partial f_{2q}}{\\partial x_{22}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{22}}\\ \\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots\\ \\frac{\\partial f_{11}}{\\partial x_{m2}}&\\frac{\\partial f_{21}}{\\partial x_{m2}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{m2}}&\\frac{\\partial f_{12}}{\\partial x_{m2}}&\\frac{\\partial f_{22}}{\\partial x_{m2}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{m2}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{m2}}&\\frac{\\partial f_{2q}}{\\partial x_{m2}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{m2}}\\ \\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots\\ \\frac{\\partial f_{11}}{\\partial x_{1n}}&\\frac{\\partial f_{21}}{\\partial x_{1n}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{1n}}&\\frac{\\partial f_{12}}{\\partial x_{1n}}&\\frac{\\partial f_{22}}{\\partial x_{1n}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{1n}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{1n}}&\\frac{\\partial f_{2q}}{\\partial x_{1n}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{1n}}\\ \\frac{\\partial f_{11}}{\\partial x_{2n}}&\\frac{\\partial f_{21}}{\\partial x_{2n}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{2n}}&\\frac{\\partial f_{12}}{\\partial x_{2n}}&\\frac{\\partial f_{22}}{\\partial x_{2n}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{2n}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{2n}}&\\frac{\\partial f_{2q}}{\\partial x_{2n}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{2n}}\\ \\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots&\\vdots\\ \\frac{\\partial f_{11}}{\\partial x_{mn}}&\\frac{\\partial f_{21}}{\\partial x_{mn}}&\\cdots&\\frac{\\partial f_{p1}}{\\partial x_{mn}}&\\frac{\\partial f_{12}}{\\partial x_{mn}}&\\frac{\\partial f_{22}}{\\partial x_{mn}}&\\cdots&\\frac{\\partial f_{p2}}{\\partial x_{mn}}&\\cdots&\\frac{\\partial f_{1q}}{\\partial x_{mn}}&\\frac{\\partial f_{2q}}{\\partial x_{mn}}&\\cdots&\\frac{\\partial f_{pq}}{\\partial x_{mn}}\\ \\end{bmatrix}_{mn \\times pq} \\ (14)$$

\n

3.3 一些发现

\n

3.3.1 转置

\n

(13) 式与 (14) 式互为转置

\n

3.3.2 相等 1

\n

实矩阵函数 本身是一个实值标量函数 f 时, (8) 式、(13) 式相等; (10) 式、 (14) 式相等;当然,前两个式子与后两个式子互为转置

\n

这一发现说明,对于矩阵变元的实值标量函数 $f (\\pmb {X}) , \\pmb {X}{m\\times n}=(x{ij})_{i=1,j=1}^{m,n} \\text {Jacobian}$ 矩阵(已经成行向量了)形式,第二种是梯度矩阵(已经成列向量了)形式,第三种是 矩阵(就是矩阵)形式,第四种是梯度矩阵(就是矩阵)形式。第一种和第二种形式互为转置,第三种和第四种形式互为转置

\n

3.3.3 相等 2

\n

矩阵变元 本身就是一个列向量 时, 同时实矩阵函数 本身是一个实值标量函数 f 时, (5) 式、 (8) 式、 (9) 式、 (13) 式相等; (6) 式、 (10) 式、 (11) 式、 (14) 式相等;当然,前四个式子与后四个式子互为转置

\n

这一发现仍说明,对于向量变元的实值标量函数 ,结果布局本质上有两种形式,一种是 矩阵(已经成行向量了)形式,一种是梯度矩阵(已经成列向量了)形式。两种形式互为转置

\n

4、矩阵变元的实向量函数 向量变元的实向量函数 向量变元的实矩阵函数

\n

这三个都可以看做是矩阵变元的实矩阵函数 ,可使用 **3、** 进行计算(因为向量就是一种特殊的矩阵)。

\n

分子布局、分母布局的本质

\n

看到这里,相信同学们对矩阵求导结果的布局有了很全面的了解了,无非就是分子的转置、向量化分母的转置、向量化,它们的各种组合而已。

\n

结合上述知识,我们总结:

\n

1、分子布局的本质:分子是标量列向量、矩阵向量化后的列向量;分母是标量、列向量转置后的行向量、矩阵的转置矩阵、矩阵向量化后的列向量转置后的行向量。包含 (5) 式、 (8) 式、 (9) 式、 (13) 式。

\n

2、分母布局的本质:分子是标量、列向量转置后的行向量、矩阵向量化后的列向量转置后的行向量;分母是标量列向量矩阵自己、矩阵向量化后的列向量。包含 (6) 式、 (10) 式、 (11) 式、 (14) 式。

\n

思考一下,其实我们可以再简洁一些:谁转置了,就是另一方的布局。分子转置了,就是分母布局;分母转置了,就是分子布局。

\n

最终,我们列一个表格,总结分子布局、分子布局的本质:

\n

\"\"

\n

分子布局、分母布局的本质

\n

\n

本文到这里就结束了,希望对大家有帮助。如果有时间的话,后面我会再发一篇文章,来进行 ** 若干常见矩阵求导公式的数学推导。** 欢迎大家点赞、关注、收藏、转发噢~

\n

矩阵求导系列其他文章:

\n

对称矩阵的求导,以多元正态分布的极大似然估计为例(矩阵求导 —— 补充篇) - Iterator 的文章 - 知乎

\n

矩阵求导公式的数学推导(矩阵求导 —— 进阶篇) - Iterator 的文章 - 知乎

\n

矩阵求导公式的数学推导(矩阵求导 —— 基础篇) - Iterator 的文章 - 知乎

\n

参考

\n

矩阵求导公式的数学推导(矩阵求导 —— 基础篇)

\n

前言

\n

1、看本文之前请务必先看这篇文章:

\n

下文以 \"本质篇\" 指代上面这篇文章。

\n

2、本文介绍向量变元实值标量函数矩阵变元实值标量函数最基础的矩阵求导公式的数学推导。掌握了这些最基础的推导,才能理解之后的那些千变万化的技巧

\n

3、进阶的技巧(矩阵的迹一阶实矩阵微分会在下一篇讲,本篇涉及。

\n

4、本文使用的符号与本质篇相同。

\n

5、看懂本文需要了解本质篇所提及的知识,以及了解本科阶段线性代数中矩阵乘法向量内积的知识 **,无需任何其他知识。**

\n

**6、** 有一个矩阵求导的网站,大家可以验证自己算的结果是否正确。

\n

向量变元的实值标量函数

\n

\n

我们使用梯度向量形式,即 (本质篇_6) 式

\n

\n

1、四个法则

\n

1.1 常数求导 [1:1]

\n

与一元函数常数求导相同:结果为零向量

\n

\n

其中, c 为常数。

\n

证明:

\n

\n

证毕。

\n

1.2 线性法则 [1:2]

\n

与一元函数求导线性法则相同:相加再求导等于求导再相加,常数提外面

\n

\n

其中, 为常数。

\n

证明:

\n

\n

证毕。

\n

1.3 乘积法则 [1]

\n

与一元函数求导乘积法则相同:前导后不导 前不导后导

\n

\n

证明:

\n

\n

证毕。

\n

1.4 商法则 [1]

\n

与一元函数求导商法则相同:(上导下不导 上不导下导)除以(下的平方):

\n

\n

其中,

\n

证明:

\n

\n

证毕。

\n

2、几个公式

\n

2.1

\n

\n

其中, 为常数向量,

\n

证明:

\n

\n

证毕。

\n

2.2

\n

\n

证明:

\n

$$\\frac{\\partial( \\pmb{x}^T \\pmb{x})}{\\partial{\\pmb{x}}} = \\frac{\\partial( x_12+x_22+\\cdots+x_n^2)}{\\partial{\\pmb{x}}} = \\begin{bmatrix} \\frac{\\partial( x_12+x_22+\\cdots+x_n^2)}{\\partial{x_1}} \\ \\frac{\\partial( x_12+x_22+\\cdots+x_n^2)}{\\partial{x_2}} \\ \\vdots \\ \\frac{\\partial( x_12+x_22+\\cdots+x_n^2)}{\\partial{x_n}} \\end{bmatrix} = = 2 = 2\\pmb{x} (12)$$

\n

证毕。

\n

2.3

\n

\n

其中, $\\pmb {A}{n \\times n} 是常数矩阵, \\pmb {A}{n \\times n}=(a_{ij})_{i=1,j=1}^{n,n}$ 。

\n

证明:

\n

\n

证毕。

\n

2.4

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{x}\\pmb{x}T\\pmb{b})}{\\partial{\\pmb{x}}} = \\pmb{a}\\pmb{b}T\\pmb{x}+\\pmb{b}\\pmb{a}T\\pmb{x} (15)$$

\n

其中, 为常数向量, $\\pmb {a}=(a_1,a_2,\\cdots,a_n)T,\\pmb{b}=(b_1,b_2,\\cdots,b_n)T$ 。

\n

证明:

\n

因为 $\\pmb {a}T\\pmb{x}=\\pmb{x}T\\pmb{a},\\pmb{x}T\\pmb{b}=\\pmb{b}T\\pmb {x}$ ,所以有

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{x}\\pmb{x}T\\pmb{b})}{\\partial{\\pmb{x}}} = \\frac{\\partial( \\pmb{x}T\\pmb{a}\\pmb{b}T\\pmb{x})}{\\partial{\\pmb{x}}} (16)$$

\n

又因为 常数矩阵,由 (13) 式得:

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{x}\\pmb{x}T\\pmb{b})}{\\partial{\\pmb{x}}} = \\frac{\\partial( \\pmb{x}T\\pmb{a}\\pmb{b}T\\pmb{x})}{\\partial{\\pmb{x}}}=\\pmb{a}\\pmb{b}T\\pmb{x}+\\pmb{b}\\pmb{a}T\\pmb{x} (17)$$

\n

证毕。

\n

矩阵变元的实值标量函数

\n

$$f(\\pmb{X}),\\pmb{X}{m\\times n}=(x{ij})_{i=1,j=1}^{m,n} $$

\n

我们使用梯度矩阵形式,即 (本质篇_11) 式

\n

$$\\nabla_{\\pmb{X}}f(\\pmb{X})= \\frac{\\partial f(\\pmb{X})}{\\partial \\pmb{X}{m\\times n}} = \\begin{bmatrix} \\frac{\\partial f}{\\partial x{11}}&\\frac {\\partial f}{\\partial x_{12}}&\\cdots&\\frac {\\partial f}{\\partial x_{1n}} \\ \\frac {\\partial f}{\\partial x_{21}}&\\frac {\\partial f}{\\partial x_{22}}& \\cdots & \\frac {\\partial f}{\\partial x_{2n}}\\ \\vdots&\\vdots&\\vdots&\\vdots\\ \\frac {\\partial f} {\\partial x_{m1}}&\\frac {\\partial f}{\\partial x_{m2}}&\\cdots&\\frac {\\partial f}{\\partial x_{mn}} \\end {bmatrix}_{m\\times n} \\ (本质篇_11)$$

\n

1、四个法则

\n

1.1 常数求导 [1:3]

\n

与一元函数常数求导相同:结果为零矩阵

\n

\n

其中, c 为常数。

\n

证明:

\n

$$\\frac{\\partial{c}}{\\partial{\\pmb{X}}} = {m \\times n} = {m \\times n} =\\pmb{0}_{m \\times n}(19)$$

\n

证毕。

\n

1.2 线性法则 [1:4]

\n

与一元函数求导线性法则相同:相加再求导等于求导再相加,常数提外面

\n

\n

其中, 为常数。

\n

证明:

\n

\n

证毕。

\n

1.3 乘积法则 [1]

\n

与一元函数求导乘积法则相同:前导后不导 前不导后导

\n

\n

证明:

\n

\n

证毕。

\n

1.4 商法则 [1]

\n

与一元函数求导商法则相同:(上导下不导 上不导下导)除以(下的平方):

\n

\n

其中,

\n

证明:

\n

\n

证毕。

\n

2、几个公式

\n

2.1

\n

\n

其中, $\\pmb {a}{m \\times 1},\\pmb{b}{n \\times 1} 为常数向量,\\pmb {a}_=(a_1,a_2,\\cdots,a_m)T,\\pmb{b}=(b_1,b_2,\\cdots,b_n)T$。

\n

证明(右击公式,选择在新标签页中打开图片,公式就可以放大了~)

\n

$$\\frac{\\partial( \\pmb{a}^T\\pmb{X}\\pmb{b})}{\\partial{\\pmb{X}}} = \\frac{\\partial(a_1b_1x_{11}+a_1b_2x_{12}+\\cdots+a_1b_nx_{1n} \\ +a_2b_1x_{21}+a_2b_2x_{22}+\\cdots+a_2b_nx_{2n}\\ +\\cdots \\ +a_mb_1x_{m1}+a_mb_2x_{m2}+\\cdots+a_mb_nx_{mn})}{\\partial{\\pmb{X}}} = {m \\times n} = {m \\times n} = [b_1,b_2,\\cdots,b_n] = \\pmb{a}\\pmb{b}^T (27)$$

\n

证毕。

\n

2.2

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}}} = \\pmb{b}\\pmb{a}^T (28)$$

\n

其中, $\\pmb {a}{n \\times 1},\\pmb{b}{m \\times 1} 为常数向量,\\pmb {a}_=(a_1,a_2,\\cdots,a_n)T,\\pmb{b}=(b_1,b_2,\\cdots,b_m)T$。

\n

证明:

\n

因为标量的转置等于标量自己,所以有

\n

$$\\frac{\\partial(\\pmb{a}T\\pmb{X}T\\pmb{b})}{\\partial\\pmb{X}}=\\frac{\\partial(\\pmb{a}T\\pmb{X}T\\pmb{b})T}{\\partial\\pmb{X}}=\\frac{\\partial(\\pmb{b}T\\pmb{X}\\pmb{a})}{\\partial\\pmb{X}} (29)$$

\n

由 (26) 式得:

\n

$$\\frac{\\partial(\\pmb{a}T\\pmb{X}T\\pmb{b})}{\\partial\\pmb{X}}=\\frac{\\partial(\\pmb{b}^T\\pmb{X}\\pmb{a})}{\\partial\\pmb{X}} = \\pmb{b}\\pmb{a}^T (30)$$

\n

证毕。

\n

2.3

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}}} = \\pmb{a}\\pmb{b}T\\pmb{X}+\\pmb{b}\\pmb{a}T\\pmb{X} (31)$$

\n

其中, $\\pmb {a}{m \\times 1},\\pmb{b}{m \\times 1} 为常数向量,\\pmb {a}_=(a_1,a_2,\\cdots,a_m)T,\\pmb{b}=(b_1,b_2,\\cdots,b_m)T$。

\n

证明(右击公式,选择在新标签页中打开图片,公式就可以放大了~)

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}}} = \\frac{\\partial( [(a_1b_1)(x_{11}x_{11}+x_{12}x_{12}+\\cdots+x_{1n}x_{1n})]+[(a_1b_2)(x_{11}x_{21}+x_{12}x_{22}+\\cdots+x_{1n}x_{2n})]+\\cdots+[(a_1b_m)(x_{11}x_{m1}+x_{12}x_{m2}+\\cdots+x_{1n}x_{mn})] \\ +[(a_2b_1)(x_{21}x_{11}+x_{22}x_{12}+\\cdots+x_{2n}x_{1n})]+[(a_2b_2)(x_{21}x_{21}+x_{22}x_{22}+\\cdots+x_{2n}x_{2n})]+\\cdots+[(a_2b_m)(x_{21}x_{m1}+x_{22}x_{m2}+\\cdots+x_{2n}x_{mn})] \\ +\\cdots \\ +[(a_mb_1)(x_{m1}x_{11}+x_{m2}x_{12}+\\cdots+x_{mn}x_{1n})]+[(a_mb_2)(x_{m1}x_{21}+x_{m2}x_{22}+\\cdots+x_{mn}x_{2n})]+\\cdots+[(a_mb_m)(x_{m1}x_{m1}+x_{m2}x_{m2}+\\cdots+x_{mn}x_{mn})] )}{\\partial{\\pmb{X}}} \\= {m \\times n} \\= \\begin{bmatrix} (a_1b_1x{11}+a_1b_2x_{21}+\\cdots+a_1b_mx_{m1})+(b_1a_1x_{11}+b_1a_2x_{21}+\\cdots+b_1a_mx_{m1}) & (a_1b_1x_{12}+a_1b_2x_{22}+\\cdots+a_1b_mx_{m2})+(b_1a_1x_{12}+b_1a_2x_{22}+\\cdots+b_1a_mx_{m2}) & \\cdots & (a_1b_1x_{1n}+a_1b_2x_{2n}+\\cdots+a_1b_mx_{mn})+(b_1a_1x_{1n}+b_1a_2x_{2n}+\\cdots+b_1a_mx_{mn}) \\ (a_2b_1x_{11}+a_2b_2x_{21}+\\cdots+a_2b_mx_{m1})+(b_2a_1x_{11}+b_2a_2x_{21}+\\cdots+b_2a_mx_{m1}) & (a_2b_1x_{12}+a_2b_2x_{22}+\\cdots+a_2b_mx_{m2})+(b_2a_1x_{12}+b_2a_2x_{22}+\\cdots+b_2a_mx_{m2}) & \\cdots & (a_2b_1x_{1n}+a_2b_2x_{2n}+\\cdots+a_2b_mx_{mn})+(b_2a_1x_{1n}+b_2a_2x_{2n}+\\cdots+b_2a_mx_{mn}) \\ \\vdots & \\vdots & \\vdots & \\vdots \\ (a_mb_1x_{11}+a_mb_2x_{21}+\\cdots+a_mb_mx_{m1})+(b_ma_1x_{11}+b_ma_2x_{21}+\\cdots+b_ma_mx_{m1}) & (a_mb_1x_{12}+a_mb_2x_{22}+\\cdots+a_mb_mx_{m2})+(b_ma_1x_{12}+b_ma_2x_{22}+\\cdots+b_ma_mx_{m2}) & \\cdots & (a_mb_1x_{1n}+a_mb_2x_{2n}+\\cdots+a_mb_mx_{mn})+(b_ma_1x_{1n}+b_ma_2x_{2n}+\\cdots+b_ma_mx_{mn}) \\end{bmatrix} \\= + = + = [b_1, b_2, \\cdots, b_m] + [a_1, a_2, \\cdots, a_m] = \\pmb{a}\\pmb{b}T\\pmb{X}+\\pmb{b}\\pmb{a}T\\pmb{X} (32)$$

\n

证毕。

\n

2.4

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}T\\pmb{X}\\pmb{b})}{\\partial{\\pmb{X}}} = \\pmb{X}\\pmb{b}\\pmb{a}T+\\pmb{X}\\pmb{a}\\pmb{b}T (33)$$

\n

其中, $\\pmb {a}{n \\times 1},\\pmb{b}{n \\times 1} 为常数向量,\\pmb {a}_=(a_1,a_2,\\cdots,a_n)T,\\pmb{b}=(b_1,b_2,\\cdots,b_n)T$。

\n

证明:

\n

我们来看一下 (本质篇_9) 式:

\n

$$\\text{D}{\\pmb{X}}f(\\pmb{X})= \\frac{\\partial f(\\pmb{X})}{\\partial \\pmb{X}^T{m\\times n}} = _{n\\times m} \\ (本质篇_9)$$

\n

再来看一下 (本质篇_11) 式:

\n

$$\\nabla_{\\pmb{X}}f(\\pmb{X})= \\frac{\\partial f(\\pmb{X})}{\\partial \\pmb{X}{m\\times n}} = \\begin{bmatrix} \\frac{\\partial f}{\\partial x{11}}&\\frac {\\partial f}{\\partial x_{12}}&\\cdots&\\frac {\\partial f}{\\partial x_{1n}} \\ \\frac {\\partial f}{\\partial x_{21}}&\\frac {\\partial f}{\\partial x_{22}}& \\cdots & \\frac {\\partial f}{\\partial x_{2n}}\\ \\vdots&\\vdots&\\vdots&\\vdots\\ \\frac {\\partial f} {\\partial x_{m1}}&\\frac {\\partial f}{\\partial x_{m2}}&\\cdots&\\frac {\\partial f}{\\partial x_{mn}} \\end {bmatrix}_{m\\times n} \\ (本质篇_11)$$

\n

正如本质篇_三._2.5.1 总结的那样,这两个结果互为转置,即:

\n

\n

所以,我们把 (31) 式中的分母的矩阵变元写为转置,就有:

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}}^T} = (\\frac{\\partial( \\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}}})^T = (\\pmb{a}\\pmb{b}T\\pmb{X}+\\pmb{b}\\pmb{a}T\\pmb{X})^T = \\pmb{X}T\\pmb{b}\\pmb{a}T+\\pmb{X}T\\pmb{a}\\pmb{b}T (35)$$

\n

对于 (33) 式,我们将其写为如下形式:

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}T\\pmb{X}\\pmb{b})}{\\partial{\\pmb{X}}} =\\frac{\\partial( \\pmb{a}T(\\pmb{X}T)(\\pmb{X}T)T\\pmb{b})}{\\partial{(\\pmb{X}}T)T} (36)$$

\n

然后对 (36) 式使用 (35) 式,得:

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}T\\pmb{X}\\pmb{b})}{\\partial{\\pmb{X}}} =\\frac{\\partial( \\pmb{a}T(\\pmb{X}T)(\\pmb{X}T)T\\pmb{b})}{\\partial{(\\pmb{X}}T)T} = (\\pmb{X}T)T\\pmb{b}\\pmb{a}T+(\\pmb{X}T)T\\pmb{a}\\pmb{b}T = \\pmb{X}\\pmb{b}\\pmb{a}T+\\pmb{X}\\pmb{a}\\pmb{b}T (37)$$
\n证毕。

\n

\n

本文到这里就结束了,相信大家也和我一样,会觉的后面那几个求导公式,如果按照定义去推导的话,十分的麻烦而且容易出错。

\n

所以, 在下一篇文章中,我们将介绍向量变元实值标量函数矩阵变元实值标量函数进阶的矩阵求导的技巧:矩阵的迹 一阶实矩阵微分 ,它们可以极大地化简我们的推导过程。

\n

矩阵求导系列其他文章:

\n

对称矩阵的求导,以多元正态分布的极大似然估计为例(矩阵求导 —— 补充篇) - Iterator 的文章 - 知乎

\n

矩阵求导公式的数学推导(矩阵求导 —— 进阶篇) - Iterator 的文章 - 知乎

\n

矩阵求导的本质与分子布局、分母布局的本质(矩阵求导 —— 本质篇) - Iterator 的文章 - 知乎

\n

参考

\n
    \n
  1. [7](#ref_1_0)bcdefgh 张贤达《矩阵分析与应用(第二版)》P147
  2. \n
\n

矩阵求导公式的数学推导(矩阵求导 —— 进阶篇)

\n

前言

\n

1、看本文之前请务必按照顺序先看这两篇文章:

\n

下文以 \"本质篇\",“基础篇” 指代上面这两篇文章。

\n

2、本文介绍向量变元实值标量函数矩阵变元实值标量函数进阶的矩阵求导的技巧:矩阵的迹 𝕥𝕣一阶实矩阵微分 。(文中的推导过程会使用到矩阵变元实矩阵函数,但矩阵变元实矩阵函数求导本文不会涉及)

\n

**3、** 本文章和前两篇文章的区别是什么,分别在什么时候使用:

\n

答:我们知道,在高等数学中,导数的原始定义其实是在求极限,但我们在实际求导的过程中,不会真正去使用定义去求的,而是使用各种我们已知的比如幂函数、指数函数等的求导公式与乘积法则、复合法则等。矩阵求导也是类似的,我们在实际求导过程中,不会真正使用本质篇与基础篇的定义法去求,而是使用本文中的各种法则去求。

\n

4、本文使用的符号与本质篇、基础篇相同。

\n

5、看懂本文需要了解本质篇、基础篇所提及的知识,以及了解本科阶段线性代数中行列式伴随矩阵、逆矩阵的知识 **,以及了解本科阶段高等数学中的微分全微分的知识,无需任何其他知识。**

\n

6、本文前两节 一。矩阵的迹 二。微分与全微分是矩阵求导的前置知识,如果你已经很熟悉了,可以直接跳到 ** 三。矩阵的微分。(** 不过还是建议看一遍,加深印象)

\n

**7、** 有一个矩阵求导的网站,大家可以验证自己算的结果是否正确。

\n

矩阵的迹 [1]

\n

1、定义

\n

方阵 的主对角线元素之和就叫矩阵 的迹 (trace),记作 𝕥𝕣 ,即:

\n

$$\\pmb{A}{n \\times n}= \\begin{bmatrix} a{11} & a_{12} & \\cdots & a_{1n} \\ a_{21} & a_{22} & \\cdots & a_{2n} \\ \\vdots & \\vdots & \\ddots & \\vdots \\ a_{n1} & a_{n2} & \\cdots & a_{nn} \\ \\end{bmatrix}_{n \\times n} $$

\n

的迹为:

\n

𝕥𝕣

\n

注意:只有方阵才有迹。

\n

2、一些性质(很重要,下文需要用到,建议熟记

\n

2.1 标量的迹

\n

对于一个标量 , 可以看成是 的矩阵,它的迹就是它自己。

\n

𝕥𝕣

\n

2.2 线性法则

\n

相加再求迹等于求迹再相加,标量提外面

\n

𝕥𝕣𝕥𝕣𝕥𝕣

\n

其中, 为标量。

\n

证明:

\n

𝕥𝕣𝕥𝕣𝕥𝕣𝕥𝕣

\n

证毕。

\n

2.3 转置

\n

转置的迹等于原矩阵的迹

\n

𝕥𝕣𝕥𝕣

\n

证明:

\n

因为转置不会改变主对角线的元素,故成立。

\n

证毕。

\n

2.4 乘积的迹的本质

\n

对于两个阶数都是 $m \\times n 的矩阵 \\pmb {A}{m\\times n},\\pmb{B}{m\\times n}$, 其中一个矩阵乘以(左乘右乘都可以)另一个矩阵的转置迹,本质是 $\\pmb {A}{m\\times n},\\pmb{B}{m\\times n}$ 两个矩阵 对应位置的元素相乘并相加,可以理解为向量的点积在矩阵上的推广,即:

\n

𝕥𝕣

\n

证明:

\n

$$\\mathbb{tr}(\\pmb{A}\\pmb{B}^T) =\\mathbb{tr} \\= \\mathbb{tr} {m \\times m} \\= a{11}b_{11}+a_{12}b_{12}+\\cdots+a_{1n}b_{1n} + a_{21}b_{21}+a_{22}b_{22}+\\cdots+a_{2n}b_{2n} + \\cdots + a_{m1}b_{m1}+a_{m2}b_{m2}+\\cdots+a_{mn}b_{mn} (7)$$

\n

证毕。

\n

2.5 交换律

\n

矩阵乘积位置互换,迹不变

\n

𝕥𝕣𝕥𝕣
\n其中, $\\pmb {A}{m \\times n},\\pmb{B}{n \\times m}$ 。

\n

证明:

\n

把 $\\pmb {B}{n \\times m} 看做是 (\\pmb {B}^T){m \\times n}\\pmb{A}{m \\times n} 与 (\\pmb {B}^T){m \\times n}$ 对应位置的元素相乘并相加,永远是不变的。

\n

证毕。

\n

2.6 更多矩阵的交换律

\n

𝕥𝕣𝕥𝕣𝕥𝕣

\n

其中, $\\pmb {A}{m \\times n},\\pmb{B}{n \\times p},\\pmb{C}_{p \\times m}$ 。

\n

证明:

\n

把两个矩阵的乘积看做一个矩阵,和另外的一个矩阵应用交换律即可。

\n

证毕。

\n

2.7 熟练使用

\n

𝕥𝕣𝕥𝕣𝕥𝕣𝕥𝕣

\n

其中, $\\pmb {A}{m \\times n},\\pmb{B}{m \\times n}$ 。

\n

证明:

\n

第一个和第二个是交换律,第二个和三个是转置,第三个和第四个是交换律。

\n

证毕。

\n

微分与全微分

\n

我们先来复习一下本科阶段所学的高等数学中的微分与全微分。

\n

1、一元函数的微分

\n

1.1 普通函数的微分 [2]

\n

可导,则其微分为:

\n

𝕕𝕕𝕕

\n

1.2 复合函数的微分 [3]

\n

,均可导,则 的微分为:

\n

𝕕𝕕𝕕𝕕𝕕

\n

乍一看很复杂,其实举个例子就很简单了:

\n

,则 的微分为:

\n

𝕕𝕕𝕕𝕕𝕕𝕕

\n

2、多元函数的全微分

\n

2.1 普通函数的全微分 [4]

\n

可微,则其全微分为:

\n

𝕕𝕕𝕕

\n

2.2 复合函数的全微分

\n

,则其全微分为:

\n

𝕕𝕕𝕕𝕕𝕕𝕕𝕕

\n

举个例子:

\n

设 $z=\\sin (2x+y2),u=2x+y2 ,则 z$ 的全微分为:

\n

$$\\mathbb{d}z=\\mathbb{d}(\\sin u)=\\cos u\\mathbb{d}u=\\cos(2x+y2)\\mathbb{d}(2x+y2) =\\cos(2x+y^2)(2\\mathbb{d}x+2y\\mathbb{d}y) = 2\\cos(2x+y2)\\mathbb{d}x+2y\\cos(2x+y2)\\mathbb{d}y $$

\n

3、微分 / 全微分的法则 [5]

\n

3.1 常数的微分

\n

𝕕

\n

其中, 为常数。

\n

3.2 线性法则

\n

相加再微分等于微分再相加,常数提外面

\n

𝕕𝕕𝕕

\n

其中, 一元函数 或多元函数 为常数。

\n

3.3 乘积法则

\n

前微后不微 前不微后微

\n

𝕕𝕕𝕕

\n

其中, 一元函数 或多元函数

\n

3.4 商法则

\n

(上微下不微 上不微下微)除以(下的平方)

\n

𝕕𝕕𝕕

\n

其中, 一元函数 或多元函数

\n

矩阵的微分

\n

1、向量变元的实值标量函数 [6]

\n

\n

它其实就是多元函数,设其可微,则它的全微分,即 (14) 式:

\n

𝕕𝕕𝕕𝕕𝕕𝕕𝕕

\n

结果是标量,由 (2) 式可知, (17) 式可以写成迹的形式,即:

\n

𝕕𝕕𝕕𝕕𝕥𝕣𝕕𝕕𝕕

\n

2、矩阵变元的实值标量函数 [7]

\n

$$f(\\pmb{X}),\\pmb{X}{m\\times n}=(x{ij})_{i=1,j=1}^{m,n} $$

\n

它也是多元函数,设其可微,则它的全微分,仍是 (14) 式:

\n

𝕕𝕕𝕕𝕕𝕕𝕕𝕕𝕕𝕕𝕕

\n

我们从这个结果中发现,它其实就是矩阵 $(\\frac {\\partial f}{\\partial x_{ij}}){i=1,j=1}^{m,n} (\\mathbb{d}x{ij})_{i=1,j=1}^{m,n}$ ** 对应位置的元素相乘并相加,** 由 (6) 式可知, (19) 式也可以写成迹的形式,即:

\n

$$\\mathbb{d}f(\\pmb{X}) =\\frac{\\partial f}{\\partial x_{11}}\\mathbb{d}x_{11}+\\frac{\\partial f}{\\partial x_{12}}\\mathbb{d}x_{12} + \\cdots+\\frac{\\partial f}{\\partial x_{1n}}\\mathbb{d}x_{1n}+\\frac{\\partial f}{\\partial x_{21}}\\mathbb{d}x_{21}+\\frac{\\partial f}{\\partial x_{22}}\\mathbb{d}x_{22} + \\cdots+\\frac{\\partial f}{\\partial x_{2n}}\\mathbb{d}x_{2n}+\\cdots+\\frac{\\partial f}{\\partial x_{m1}}\\mathbb{d}x_{m1}+\\frac{\\partial f}{\\partial x_{m2}}\\mathbb{d}x_{m2} + \\cdots+\\frac{\\partial f}{\\partial x_{mn}}\\mathbb{d}x_{mn} =\\mathbb{tr}( {n\\times m} \\begin{bmatrix} \\mathbb{d}x{11} & \\mathbb{d}x_{12} & \\cdots & \\mathbb{d}x_{1n} \\ \\mathbb{d}x_{21} & \\mathbb{d}x_{22} & \\cdots & \\mathbb{d}x_{2n} \\ \\vdots&\\vdots&\\vdots&\\vdots\\ \\mathbb{d}x_{m1} & \\mathbb{d}x_{m2} & \\cdots & \\mathbb{d}x_{mn} \\end{bmatrix}_{m \\times n} ) (20)$$

\n

3、矩阵变元的实矩阵函数 [8]

\n

$$\\pmb{F}(\\pmb{X}),\\pmb{F}{p\\times q}=(f{ij}){i=1,j=1}^{p,q},\\pmb{X}{m \\times n}=(x_{ij})_{i=1,j=1}^{m,n} $$

\n

由 ** 本质篇_一._3_3.3 可知,矩阵变元的实矩阵函数,它的每个元素其实就是一个矩阵变元的实值标量函数

\n

我们定义:设 可微,则矩阵变元的实矩阵函数的矩阵微分,就是对每个位置的元素 求全微分,排列布局不变,即:

\n

$$\\mathbb{d}\\pmb{F}{p \\times q}(\\pmb{X}) = \\begin{bmatrix} \\mathbb{d}f{11}(\\pmb{X})& \\mathbb{d}f_{12}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{1q}(\\pmb{X}) \\ \\mathbb{d}f_{21}(\\pmb{X})& \\mathbb{d}f_{22}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{2q}(\\pmb{X}) \\ \\vdots&\\vdots&\\vdots&\\vdots \\ \\mathbb{d}f_{p1}(\\pmb{X})& \\mathbb{d}f_{p2}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{pq}(\\pmb{X}) \\end{bmatrix}_{p \\times q} (21)$$

\n

3.1 四个法则(很重要,下文需要用到,建议熟记

\n

a. 常数矩阵的矩阵微分

\n

$$\\mathbb{d}\\pmb{A}{m \\times n} = \\pmb{0}{m \\times n} (22_1)$$

\n

其中, 为常数矩阵。

\n

证明:

\n

的每个元素都是常数,由 (16_1) 得,每个元素的微分是 0 。

\n

证毕。

\n

b. 线性法则

\n

相加再微分等于微分再相加,常数提外面

\n

𝕕𝕕𝕕

\n

其中, 为常数。

\n

证明:

\n

的每个元素都是 ,由 (16_2) 式可知,每个元素的全微分是 𝕕𝕕

\n

证毕。

\n

c. 乘积法则

\n

前微后不微 + 前不微后微

\n

Double subscripts: use braces to clarify\\mathbb{d}(\\pmb{F}(\\pmb{X})\\pmb{G}(\\pmb{X}))=\\mathbb{d}(\\pmb{F}(\\pmb{X}))\\pmb{G}(\\pmb{X}) + \\pmb{F}(\\pmb{X})\\mathbb{d}\\pmb{G}(\\pmb{X}) (22_3_1)

\n

其中, $\\pmb {F}{p \\times q}(\\pmb{X}),\\pmb{G}{q \\times s}(\\pmb{X}) p,q,s$ 为任意整数。

\n

注意:此时的微分是矩阵不能交换乘积的左右顺序。

\n

证明:

\n

的每个元素都是 ,由 (16_2) 式、 (16_3) 式可知,每个元素的全微分是

\n

Double subscripts: use braces to clarify\\mathbb{d}( \\sum_{k=1}^q[f_{ik}(\\pmb{X})g_{kj}(\\pmb{X})] ) =\\sum_{k=1}^q \\mathbb{d}(f_{ik}(\\pmb{X})g_{kj}(\\pmb{X})) = \\sum_{k=1}^q[\\mathbb{d}(f_{ik}(\\pmb{X}))g_{kj}(\\pmb{X})+f_{ik}(\\pmb{X})\\mathbb{d}g_{kj}(\\pmb{X})] = \\sum_{k=1}^q[\\mathbb{d}(f_{ik}(\\pmb{X}))g_{kj}(\\pmb{X})]+ \\sum_{k=1}^q[f_{ik}(\\pmb{X})\\mathbb{d}g_{kj}(\\pmb{X})] (22_3_1_a)

\n

结果左边的求和式,就是 𝕕 的每个元素,结果右边的求和式,就是 𝕕 的每个元素。

\n

证毕。

\n

由此,很容易得到更多个乘积的法则:

\n

Double subscripts: use braces to clarify\\mathbb{d}(\\pmb{F}(\\pmb{X})\\pmb{G}(\\pmb{X})\\pmb{H}(\\pmb{X}))=\\mathbb{d}(\\pmb{F}(\\pmb{X}))\\pmb{G}(\\pmb{X})\\pmb{H}(\\pmb{X}) + \\pmb{F}(\\pmb{X})\\mathbb{d}(\\pmb{G}(\\pmb{X}))\\pmb{H}(\\pmb{X})+ \\pmb{F}(\\pmb{X})\\pmb{G}(\\pmb{X})\\mathbb{d}\\pmb{H}(\\pmb{X}) (22_3_2)

\n

证明:

\n

Double subscripts: use braces to clarify\\mathbb{d}(\\pmb{F}(\\pmb{X})\\pmb{G}(\\pmb{X})\\pmb{H}(\\pmb{X})) = \\mathbb{d}(\\pmb{F}(\\pmb{X}))\\pmb{G}(\\pmb{X})\\pmb{H}(\\pmb{X})+\\pmb{F}(\\pmb{X})\\mathbb{d}(\\pmb{G}(\\pmb{X})\\pmb{H}(\\pmb{X})) = \\mathbb{d}(\\pmb{F}(\\pmb{X}))\\pmb{G}(\\pmb{X})\\pmb{H}(\\pmb{X}) +\\pmb{F}(\\pmb{X})[\\mathbb{d}(\\pmb{G}(\\pmb{X}))\\pmb{H}(\\pmb{X}) + \\pmb{G}(\\pmb{X})\\mathbb{d}\\pmb{H}(\\pmb{X})] =\\mathbb{d}(\\pmb{F}(\\pmb{X}))\\pmb{G}(\\pmb{X})\\pmb{H}(\\pmb{X}) + \\pmb{F}(\\pmb{X})\\mathbb{d}(\\pmb{G}(\\pmb{X}))\\pmb{H}(\\pmb{X})+ \\pmb{F}(\\pmb{X})\\pmb{G}(\\pmb{X})\\mathbb{d}\\pmb{H}(\\pmb{X}) (22_3_2_a)

\n

证毕。

\n

d. 转置法则

\n

转置的矩阵微分等于矩阵微分的转置

\n

Double subscripts: use braces to clarify\\mathbb{d}\\pmb{F}^T_{p \\times q}(\\pmb{X})= (\\mathbb{d}\\pmb{F}_{p \\times q}(\\pmb{X}))^T (22_4_1)

\n

其中, 为矩阵。

\n

证明:

\n

$$\\mathbb{d}\\pmb{F}^T_{p \\times q}(\\pmb{X}) = \\mathbb{d} {q \\times p} = \\begin{bmatrix} \\mathbb{d}f{11}(\\pmb{X})& \\mathbb{d}f_{21}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{p1}(\\pmb{X}) \\ \\mathbb{d}f_{12}(\\pmb{X})& \\mathbb{d}f_{22}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{p2}(\\pmb{X}) \\ \\vdots&\\vdots&\\vdots&\\vdots \\ \\mathbb{d}f_{1q}(\\pmb{X})&\\mathbb{d}f_{2q}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{pq}(\\pmb{X}) \\end{bmatrix}{q \\times p} = \\begin{bmatrix} \\mathbb{d}f{11}(\\pmb{X})& \\mathbb{d}f_{12}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{1q}(\\pmb{X}) \\ \\mathbb{d}f_{21}(\\pmb{X})& \\mathbb{d}f_{22}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{2q}(\\pmb{X}) \\ \\vdots&\\vdots&\\vdots&\\vdots \\ \\mathbb{d}f_{p1}(\\pmb{X})& \\mathbb{d}f_{p2}(\\pmb{X}) & \\cdots & \\mathbb{d}f_{pq}(\\pmb{X}) \\end{bmatrix}{p \\times q}^T = (\\mathbb{d}\\pmb{F}{p \\times q}(\\pmb{X}))^T (22_4_2)$$

\n

证毕。

\n

3.2 为什么要使用矩阵微分求导

\n

$\\pmb{X}{m \\times n} \\pmb{X}{m \\times n} \\mathbb d{x_{ij}}$ 。

\n

因此, 的矩阵微分是:

\n

$$\\mathbb{d}\\pmb{X}{m \\times n} = \\begin{bmatrix} \\mathbb{d}x{11}& \\mathbb{d}x_{12} & \\cdots & \\mathbb{d}x_{1n} \\ \\mathbb{d}x_{21}& \\mathbb{d}x_{22} & \\cdots & \\mathbb{d}x_{2n} \\ \\vdots&\\vdots&\\vdots&\\vdots \\ \\mathbb{d}x_{m1}& \\mathbb{d}x_{m2} & \\cdots & \\mathbb{d}x_{mn} \\ \\end{bmatrix}_{m \\times n} (23_1)$$

\n

向量 的矩阵微分是:

\n

𝕕𝕕𝕕𝕕

\n

于是,我们刚刚讲到的矩阵微分四个法则,对于 𝕕𝕕 也是适用的。

\n

我们现在回到矩阵变元的实值标量函数的全微分,即 (20) 式:

\n

$$\\mathbb{d}f(\\pmb{X}) =\\frac{\\partial f}{\\partial x_{11}}\\mathbb{d}x_{11}+\\frac{\\partial f}{\\partial x_{12}}\\mathbb{d}x_{12} + \\cdots+\\frac{\\partial f}{\\partial x_{1n}}\\mathbb{d}x_{1n}+\\frac{\\partial f}{\\partial x_{21}}\\mathbb{d}x_{21}+\\frac{\\partial f}{\\partial x_{22}}\\mathbb{d}x_{22} + \\cdots+\\frac{\\partial f}{\\partial x_{2n}}\\mathbb{d}x_{2n}+\\cdots+\\frac{\\partial f}{\\partial x_{m1}}\\mathbb{d}x_{m1}+\\frac{\\partial f}{\\partial x_{m2}}\\mathbb{d}x_{m2} + \\cdots+\\frac{\\partial f}{\\partial x_{mn}}\\mathbb{d}x_{mn} =\\mathbb{tr}\\begin{pmatrix} {n\\times m} \\begin{bmatrix} \\mathbb{d}x{11} & \\mathbb{d}x_{12} & \\cdots & \\mathbb{d}x_{1n} \\ \\mathbb{d}x_{21} & \\mathbb{d}x_{22} & \\cdots & \\mathbb{d}x_{2n} \\ \\vdots&\\vdots&\\vdots&\\vdots\\ \\mathbb{d}x_{m1} & \\mathbb{d}x_{m2} & \\cdots & \\mathbb{d}x_{mn} \\end{bmatrix}_{m \\times n} \\end{pmatrix} (20)$$

\n

观察 (20) 式的结果,发现在 𝕥𝕣 中,左边的矩阵,其实就是 (本质篇_9) 式:

\n

$$\\text{D}{\\pmb{X}}f(\\pmb{X})= \\frac{\\partial f(\\pmb{X})}{\\partial \\pmb{X}^T{m\\times n}} = _{n\\times m} \\ (本质篇_9)$$

\n

而右边的矩阵,其实就是 (23_1) 式:

\n

$$\\mathbb{d}\\pmb{X}{m \\times n} = \\begin{bmatrix} \\mathbb{d}x{11}& \\mathbb{d}x_{12} & \\cdots & \\mathbb{d}x_{1n} \\ \\mathbb{d}x_{21}& \\mathbb{d}x_{22} & \\cdots & \\mathbb{d}x_{2n} \\ \\vdots&\\vdots&\\vdots&\\vdots \\ \\mathbb{d}x_{m1}& \\mathbb{d}x_{m2} & \\cdots & \\mathbb{d}x_{mn} \\ \\end{bmatrix}_{m \\times n} (23_1)$$

\n

因此,矩阵变元实值标量函数的 ** 全微分,** 即 (20) 式,可以写成:

\n

𝕕𝕥𝕣𝕕

\n

别忘了我们的目标是什么,其实就是要求 。所以,只要我们可以把一个矩阵变元的实值标量函数的全微分写成 (24) 式,我们就找到了矩阵求导的结果。(已经有人证明 [9],这样的结果是唯一的。即若
\n𝕕𝕥𝕣𝕕𝕥𝕣𝕕

\n

对于向量变元的实值标量函数的全微分,即 (18) 式,同样可以写成:

\n

𝕕𝕥𝕣𝕕

\n

而由本质篇_三._2.5_2.5.2 指出的,当矩阵变元 本身就是一个列向量

\n

\n

同时,由 (23_1) 式、 (23_2) 式,当矩阵 本身是列向量 时,也有

\n

𝕕𝕕

\n

所以,矩阵变元或向量变元的实值标量函数的矩阵求导的结果,都可以通过 (24) 式得到:

\n

𝕕𝕥𝕣𝕕

\n

那么,我们该如何写成形如 (24) 式的结果呢,别急,让我们先给出 个你应该记住的公式(以后就直接用了)。

\n

3.2.1[8] 夹层饼

\n

Double subscripts: use braces to clarify\\mathbb{d}(\\pmb{A}\\pmb{X}\\pmb{B})=\\pmb{A}\\mathbb{d}(\\pmb{X})\\pmb{B} (25_1_1)

\n

其中, $\\pmb {A}{p \\times m},\\pmb{B}{n \\times q}$ 是常数矩阵。

\n

证明:

\n

由乘积法则 (22_3_2) 式得:

\n

Double subscripts: use braces to clarify\\mathbb{d}(\\pmb{A}\\pmb{X}\\pmb{B}) = \\mathbb{d}(\\pmb{A})\\pmb{X}\\pmb{B} + \\pmb{A}\\mathbb{d}({\\pmb{X}})\\pmb{B} + \\pmb{A}\\pmb{X}\\mathbb{d}\\pmb{B} (25_1_a)

\n

由常数矩阵微分 (22_1) 式得:

\n

$$\\mathbb{d}\\pmb{A} =\\pmb{0}{p \\times m},\\mathbb{d}\\pmb{B} =\\pmb{0}{n \\times q} (25_1_b)$$

\n

证毕。

\n

可以代入其他任意的矩阵函数:

\n

Double subscripts: use braces to clarify\\mathbb{d}(\\pmb{A}\\pmb{F}(\\pmb{X})\\pmb{B})=\\pmb{A}\\mathbb{d}(\\pmb{F}(\\pmb{X}))\\pmb{B} (25_1_2)

\n

3.2.2[10] 行列式

\n

Double subscripts: use braces to clarify\\mathbb{d}|\\pmb{X}|= |\\pmb{X}|\\mathbb{tr}(\\pmb{X}^{-1}\\mathbb{d}\\pmb{X}) = \\mathbb{tr}(|\\pmb{X}|\\pmb{X}^{-1}\\mathbb{d}\\pmb{X}) (25_2_1)

\n

其中, 是任意矩阵。

\n

证明:

\n

首先明确,行列式是一个实值标量函数,故可以使用 (24) 式。

\n

我们知道,行列式可以按照一行展开,即一行中每个元素乘以他的代数余子式然后求和 [11]

\n

我们按照元素 所在的第 i 行展开:

\n

Double subscripts: use braces to clarify|\\pmb{X}|=x_{i1}A_{i1}+x_{i2}A_{i2}+\\cdots+x_{in}A_{in} (25_2_a)

\n

因此,行列式对元素 的偏导,即为该元素对应的代数余子式。

\n

Double subscripts: use braces to clarify\\frac{\\partial |\\pmb{X}|}{\\partial x_{ij}} = A_{ij} (25_2_b)

\n

因此,行列式对矩阵求导的结果为:

\n

Double subscripts: use braces to clarify\\frac{\\partial |\\pmb{X}|}{\\partial \\pmb{X}^T} = \\begin{bmatrix} A_{11} & A_{21} & \\cdots & A_{n1} \\ A_{12} & A_{22} & \\cdots & A_{n2} \\ \\vdots & \\vdots & \\ddots & \\vdots \\ A_{1n} & A_{2n} & \\cdots & A_{nn} \\ \\end{bmatrix} (25_2_c)

\n

这个结果其实就是伴随矩阵 [12]

\n

又因为伴随矩阵和逆矩阵的关系 [13]

\n

$$\\pmb{X}{-1}=\\frac{\\pmb{X}*}{|\\pmb{X}|} (25_2_d)$$

\n

代入 (24) 式得:

\n

𝕕𝕥𝕣𝕕𝕥𝕣𝕕

\n

又因为行列式是标量,由 (3) 式,可以提到迹的外面,得:

\n

Double subscripts: use braces to clarify\\mathbb{d}|\\pmb{X}|= |\\pmb{X}|\\mathbb{tr}(\\pmb{X}^{-1}\\mathbb{d}\\pmb{X}) = \\mathbb{tr}(|\\pmb{X}|\\pmb{X}^{-1}\\mathbb{d}\\pmb{X}) (25_2_1)

\n

证毕。

\n

可以代入其他任意的矩阵函数 [10]

\n

Double subscripts: use braces to clarify\\mathbb{d}|\\pmb{F}(\\pmb{X})|= |\\pmb{F}(\\pmb{X})|\\mathbb{tr}(\\pmb{F}(\\pmb{X})^{-1}\\mathbb{d}\\pmb{F}(\\pmb{X})) = \\mathbb{tr}(|\\pmb{F}(\\pmb{X})|\\pmb{F}(\\pmb{X})^{-1}\\mathbb{d}\\pmb{F}(\\pmb{X})) (25_2_2)

\n

3.2.3[10] 逆矩阵

\n

$$\\mathbb{d}(\\pmb{X}{-1})=-\\pmb{X}{-1}\\mathbb{d}(\\pmb{X})\\pmb{X}^{-1} (25_3_1)$$

\n

其中,

\n

证明:

\n

因为

\n

而常数矩阵微分为 ,两边同时取矩阵微分得:

\n

$$ \\mathbb{d}(\\pmb{X})\\pmb{X}{-1}+\\pmb{X}\\mathbb{d}(\\pmb{X}{-1}) =\\pmb{0} (25_3_1)$$

\n

等式两边左乘 即得到结果。

\n

证毕。

\n

可以代入其他任意的矩阵函数 [10]

\n

$$\\mathbb{d}(\\pmb{F}(\\pmb{X}){-1})=-\\pmb{F}(\\pmb{X}){-1}\\mathbb{d}(\\pmb{F}(\\pmb{X}))\\pmb{F}(\\pmb{X})^{-1} (25_3_2)$$

\n

3.3 如何使用矩阵微分求导

\n

对于实值标量函数 𝕥𝕣𝕕𝕥𝕣𝕕

\n

所以有

\n

𝕕𝕕𝕥𝕣𝕥𝕣𝕕

\n

如果实值标量函数本身就是某个矩阵函数 的迹,如 𝕥𝕣 ,则由全微分的线性法则 (16_2) 式,得:

\n

$$\\mathbb{d}(\\mathbb{tr}{\\pmb{F}{p\\times p}(\\pmb{X})}) = \\mathbb{d}(\\sum{i=1}^pf_{ii}(\\pmb{X})) = \\sum_{i=1}^p\\mathbb{d}(f_{ii}(\\pmb{X})) = \\mathbb{tr}(\\mathbb{d}F_{p \\times p}(\\pmb{X})) (27)$$

\n

我们以 6 个例子来非常非常详细地说明如何使用矩阵微分求导,例子的结论需要记忆,会推过程才是最重要的,用的时候推一下就好了。

\n

3.3.1 例子 1 (基础篇_31) 式

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}}} = \\pmb{a}\\pmb{b}T\\pmb{X}+\\pmb{b}\\pmb{a}T\\pmb{X} (28)$$

\n

证明:

\n

** 第一步:** 写成 (26) 式的形式

\n

$$\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})= \\mathbb{tr}(\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b}))(29)$$

\n

** 第二步:** 使用矩阵微分法则 (22_1) 式~(22_4_1) 式,迹的若干性质 (2) 式~(10) 式,六个基础公式 (25_1_1) 式~(25_3_2) 式,将 (29) 式化简成形如 (24) 式的形式

\n

由 (25_1_2) 式得:

\n

$$\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b}) = \\mathbb{tr}(\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})) = \\mathbb{tr}(\\pmb{a}T\\mathbb{d}(\\pmb{X}\\pmb{X}T)\\pmb{b}) (30)$$

\n

由 (22_3_1) 式得:

\n

$$\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b}) = \\mathbb{tr}(\\pmb{a}T\\mathbb{d}(\\pmb{X}\\pmb{X}T)\\pmb{b}) = \\mathbb{tr}[\\pmb{a}T(\\mathbb{d}(\\pmb{X})\\pmb{X}T+\\pmb{X}\\mathbb{d}\\pmb{X}^T)\\pmb{b}] (31)$$

\n

由 (3) 式得:

\n

$$\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b}) = \\mathbb{tr}[\\pmb{a}T(\\mathbb{d}(\\pmb{X})\\pmb{X}T+\\pmb{X}\\mathbb{d}\\pmb{X}^T)\\pmb{b}] = \\mathbb{tr}(\\pmb{a}T\\mathbb{d}(\\pmb{X})\\pmb{X}T\\pmb{b})+\\mathbb{tr}(\\pmb{a}T\\pmb{X}\\mathbb{d}(\\pmb{X}T)\\pmb{b}) (32)$$

\n

由 (22_4_1) 式得:

\n

$$\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b}) = \\mathbb{tr}(\\pmb{a}T\\mathbb{d}(\\pmb{X})\\pmb{X}T\\pmb{b})+\\mathbb{tr}(\\pmb{a}T\\pmb{X}\\mathbb{d}(\\pmb{X}T)\\pmb{b}) = \\mathbb{tr}(\\pmb{a}T\\mathbb{d}(\\pmb{X})\\pmb{X}T\\pmb{b})+\\mathbb{tr}(\\pmb{a}T\\pmb{X}(\\mathbb{d}\\pmb{X})T\\pmb{b}) (33)$$

\n

由 (9) 式, (10) 式得:

\n

$$\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b}) = \\mathbb{tr}(\\pmb{a}T\\mathbb{d}(\\pmb{X})\\pmb{X}T\\pmb{b})+\\mathbb{tr}(\\pmb{a}T\\pmb{X}(\\mathbb{d}\\pmb{X})T\\pmb{b}) = \\mathbb{tr}(\\pmb{X}T\\pmb{b}\\pmb{a}T\\mathbb{d}\\pmb{X}) + \\mathbb{tr}(\\pmb{b}\\pmb{a}T\\pmb{X}(\\mathbb{d}\\pmb{X})T)= \\mathbb{tr}(\\pmb{X}T\\pmb{b}\\pmb{a}T\\mathbb{d}\\pmb{X}) + \\mathbb{tr}((\\pmb{b}\\pmb{a}T\\pmb{X})T\\mathbb{d}\\pmb{X})= \\mathbb{tr}(\\pmb{X}T\\pmb{b}\\pmb{a}T\\mathbb{d}\\pmb{X}) + \\mathbb{tr}(\\pmb{X}T\\pmb{a}\\pmb{b}T\\mathbb{d}\\pmb{X}) (34)$$

\n

由 (3) 式得:

\n

$$\\mathbb{d}(\\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b}) = \\mathbb{tr}(\\pmb{X}T\\pmb{b}\\pmb{a}T\\mathbb{d}\\pmb{X}) + \\mathbb{tr}(\\pmb{X}T\\pmb{a}\\pmb{b}T\\mathbb{d}\\pmb{X}) = \\mathbb{tr}((\\pmb{X}T\\pmb{b}\\pmb{a}T+\\pmb{X}T\\pmb{a}\\pmb{b}T)\\mathbb{d}\\pmb{X}) (35)$$

\n

第三步:得出结果

\n

$$\\frac{\\partial( \\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}^T}} =\\pmb{X}T\\pmb{b}\\pmb{a}T+\\pmb{X}T\\pmb{a}\\pmb{b}T (36) \\frac{\\partial( \\pmb{a}T\\pmb{X}\\pmb{X}T\\pmb{b})}{\\partial{\\pmb{X}}} = \\pmb{a}\\pmb{b}T\\pmb{X}+\\pmb{b}\\pmb{a}T\\pmb{X} (28)$$

\n

证毕。

\n

3.3.2 例子 2[9]

\n

𝕥𝕣

\n

** 第一步:** 写成 (27) 式的形式

\n

𝕕𝕥𝕣𝕥𝕣𝕕

\n

** 第二步:** 使用矩阵微分法则 (22_1) 式~(22_4_1) 式,迹的若干性质 (2) 式~(10) 式,六个基础公式 (25_1_1) 式~(25_3_2) 式,将 (38) 式化简成形如 (24) 式的形式

\n

由 (22_3_1) 式得:

\n

$$\\mathbb{d}(\\mathbb{tr}(\\pmb{X}^T\\pmb{X})) =\\mathbb{tr}(\\mathbb{d}(\\pmb{X}^T\\pmb{X})) = \\mathbb{tr}(\\mathbb{d}(\\pmb{X}T)\\pmb{X}+\\pmb{X}T\\mathbb{d}\\pmb{X}) (39)$$

\n

由 (3) 式得:

\n

$$\\mathbb{d}(\\mathbb{tr}(\\pmb{X}^T\\pmb{X})) = \\mathbb{tr}(\\mathbb{d}(\\pmb{X}T)\\pmb{X}+\\pmb{X}T\\mathbb{d}\\pmb{X}) = \\mathbb{tr}(\\mathbb{d}(\\pmb{X}T)\\pmb{X})+\\mathbb{tr}(\\pmb{X}T\\mathbb{d}\\pmb{X}) $$

\n

由 (22_4_1) 式得:

\n

$$\\mathbb{d}(\\mathbb{tr}(\\pmb{X}^T\\pmb{X})) = \\mathbb{tr}(\\mathbb{d}(\\pmb{X}T)\\pmb{X})+\\mathbb{tr}(\\pmb{X}T\\mathbb{d}\\pmb{X}) = \\mathbb{tr}((\\mathbb{d}\\pmb{X})T\\pmb{X})+\\mathbb{tr}(\\pmb{X}T\\mathbb{d}\\pmb{X})$$

\n

由 (8) 式、 (10) 式得:

\n

$$\\mathbb{d}(\\mathbb{tr}(\\pmb{X}^T\\pmb{X})) = \\mathbb{tr}((\\mathbb{d}\\pmb{X})T\\pmb{X})+\\mathbb{tr}(\\pmb{X}T\\mathbb{d}\\pmb{X}) = \\mathbb{tr}(\\pmb{X}(\\mathbb{d}\\pmb{X})T)+\\mathbb{tr}(\\pmb{X}T\\mathbb{d}\\pmb{X}) = \\mathbb{tr}(\\pmb{X}T\\mathbb{d}\\pmb{X})+\\mathbb{tr}(\\pmb{X}T\\mathbb{d}\\pmb{X})= 2 \\mathbb{tr}(\\pmb{X}^T\\mathbb{d}\\pmb{X})$$

\n

由 (3) 式得:

\n

𝕕𝕥𝕣𝕥𝕣𝕕𝕥𝕣𝕕

\n

第三步:得出结果

\n

𝕥𝕣𝕥𝕣

\n

3.3.3 例子 3[14]

\n

$$\\frac{\\partial \\log|\\pmb{X}|}{\\partial \\pmb{X}} = (\\pmb{X}{-1})T (41)$$

\n

其中,

\n

** 第一步:** 写成 (26) 式的形式

\n

𝕕𝕥𝕣𝕕

\n

** 第二步:** 使用矩阵微分法则 (22_1) 式~(22_4_1) 式,迹的若干性质 (2) 式~(10) 式,六个基础公式 (25_1_1) 式~(25_3_2) 式,将 (42) 式化简成形如 (24) 式的形式

\n

我们发现,这是一个复合函数的全微分 是多元函数, 是一元函数,故由 (15) 式中的前两个等号,令 ,则

\n

𝕕𝕥𝕣𝕕𝕥𝕣𝕕𝕥𝕣𝕕𝕥𝕣𝕕𝕥𝕣𝕕

\n

由 (25_2_1) 式得:

\n

𝕕𝕥𝕣𝕕𝕥𝕣𝕥𝕣𝕕

\n

标量的迹还是标量,由 (2) 式得:

\n

𝕕𝕥𝕣𝕥𝕣𝕕𝕥𝕣𝕕𝕥𝕣𝕕

\n

第三步:得出结果

\n

$$\\frac{\\partial \\log|\\pmb{X}|}{\\partial \\pmb{X}^T} = \\pmb{X}^{-1}\\ \\frac{\\partial \\log|\\pmb{X}|}{\\partial \\pmb{X}} = (\\pmb{X}{-1})T (46)$$

\n

3.3.4 例子 4[14]

\n

$$\\frac{\\partial |\\pmb{X}^{-1}|}{\\partial \\pmb{X}} =-|\\pmb{X}{-1}|(\\pmb{X}{-1})^T (47)$$

\n

其中,

\n

** 第一步:** 写成 (26) 式的形式,由 (25\\_2\\_2) 式得:

\n

$$\\mathbb{d} |\\pmb{X}^{-1}| = |\\pmb{X}{-1}|\\mathbb{tr}((\\pmb{X}{-1}){-1}\\mathbb{d}(\\pmb{X}{-1})) = |\\pmb{X}{-1}|\\mathbb{tr}(\\pmb{X}\\mathbb{d}(\\pmb{X}{-1})) (48)$$

\n

** 第二步:** 使用矩阵微分法则 (22_1) 式~(22_4_1) 式,迹的若干性质 (2) 式~(10) 式,六个基础公式 (25_1_1) 式~(25_3_2) 式,将 (48) 式化简成形如 (24) 式的形式

\n

由 (25_3_1) 式得:

\n

$$\\mathbb{d} |\\pmb{X}^{-1}| = |\\pmb{X}{-1}|\\mathbb{tr}(\\pmb{X}\\mathbb{d}(\\pmb{X}{-1})) = |\\pmb{X}{-1}|\\mathbb{tr}(-\\pmb{X}\\pmb{X}{-1}\\mathbb{d}(\\pmb{X})\\pmb{X}^{-1}) = |\\pmb{X}{-1}|\\mathbb{tr}(-\\mathbb{d}(\\pmb{X})\\pmb{X}{-1}) (49)$$

\n

由 (3) 式得:

\n

$$\\mathbb{d} |\\pmb{X}^{-1}| = |\\pmb{X}{-1}|\\mathbb{tr}(-\\mathbb{d}(\\pmb{X})\\pmb{X}{-1}) = -|\\pmb{X}{-1}|\\mathbb{tr}(\\mathbb{d}(\\pmb{X})\\pmb{X}{-1}) (50)$$

\n

由 (8) 式得:

\n

$$\\mathbb{d} |\\pmb{X}^{-1}| = -|\\pmb{X}{-1}|\\mathbb{tr}(\\mathbb{d}(\\pmb{X})\\pmb{X}{-1}) = -|\\pmb{X}{-1}|\\mathbb{tr}(\\pmb{X}{-1}\\mathbb{d}\\pmb{X})$$

\n

由 (3) 式得:

\n

$$\\mathbb{d} |\\pmb{X}^{-1}| = -|\\pmb{X}{-1}|\\mathbb{tr}(\\pmb{X}{-1}\\mathbb{d}\\pmb{X}) = \\mathbb{tr}(-|\\pmb{X}{-1}|\\pmb{X}{-1}\\mathbb{d}(\\pmb{X})) (51)$$

\n

第三步:得出结果

\n

$$\\frac{\\partial |\\pmb{X}^{-1}|}{\\partial \\pmb{X}^T} =-|\\pmb{X}{-1}|\\pmb{X}{-1} \\ \\frac{\\partial |\\pmb{X}^{-1}|}{\\partial \\pmb{X}} =-|\\pmb{X}{-1}|(\\pmb{X}{-1})^T (52)$$

\n

3.3.5 例子 5[15]

\n

$$\\frac{\\partial \\mathbb{tr}(\\pmb{X}+\\pmb{A})^{-1}}{\\partial \\pmb{X}} =-((\\pmb{X}+\\pmb{A}){-2})T (53)$$

\n

其中, $\\pmb {A}{n \\times n}\\pmb{X}{n \\times n},(\\pmb{X}+\\pmb{A}){-2}=(\\pmb{X}+\\pmb{A}){-1}(\\pmb{X}+\\pmb{A})^{-1}$ 。

\n

** 第一步:** 写成 (27) 式的形式

\n

𝕕𝕥𝕣𝕥𝕣𝕕

\n

** 第二步:** 使用矩阵微分法则 (22_1) 式~(22_4_1) 式,迹的若干性质 (2) 式~(10) 式,六个基础公式 (25_1_1) 式~(25_3_2) 式,将 (54) 式化简成形如 (24) 式的形式

\n

由 (25_3_2) 式得:

\n

$$\\mathbb{d} (\\mathbb{tr}(\\pmb{X}+\\pmb{A})^{-1}) = \\mathbb{tr}(\\mathbb{d}(\\pmb{X}+\\pmb{A})^{-1})= \\mathbb{tr}(-(\\pmb{X}+\\pmb{A}){-1}(\\mathbb{d}(\\pmb{X}+\\pmb{A}))(\\pmb{X}+\\pmb{A}){-1}) (55)$$

\n

由 (9) 式得:

\n

$$\\mathbb{d} (\\mathbb{tr}(\\pmb{X}+\\pmb{A})^{-1}) = \\mathbb{tr}(-(\\pmb{X}+\\pmb{A}){-1}(\\mathbb{d}(\\pmb{X}+\\pmb{A}))(\\pmb{X}+\\pmb{A}){-1}) = \\mathbb{tr}(-(\\pmb{X}+\\pmb{A}){-1}(\\pmb{X}+\\pmb{A}){-1}\\mathbb{d}(\\pmb{X}+\\pmb{A})) = \\mathbb{tr}(-(\\pmb{X}+\\pmb{A})^{-2}\\mathbb{d}(\\pmb{X}+\\pmb{A})) (56)$$

\n

由 (22_2) 式得:

\n

𝕕𝕥𝕣𝕥𝕣𝕕𝕥𝕣𝕕𝕕

\n

由 (22_1) 式得:

\n

𝕕𝕥𝕣𝕥𝕣𝕕𝕕𝕥𝕣𝕕

\n

第三步:得出结果

\n

$$\\frac{\\partial \\mathbb{tr}(\\pmb{X}+\\pmb{A})^{-1}}{\\partial \\pmb{X}^T} =-(\\pmb{X}+\\pmb{A})^{-2} \\ \\frac{\\partial \\mathbb{tr}(\\pmb{X}+\\pmb{A})^{-1}}{\\partial \\pmb{X}} =-((\\pmb{X}+\\pmb{A}){-2})T (59)$$

\n

3.3.6 例子 6[15]

\n

$$\\frac{\\partial|\\pmb{X}^3|}{\\partial \\pmb{X}} =\\frac{\\partial|\\pmb{X}|^3}{\\partial \\pmb{X}} =3|\\pmb{X}|3(\\pmb{X}{-1})^T = 3|\\pmb{X}3|(\\pmb{X}{-1})^T (60)$$

\n

** 第一步:** 写成 (26) 式的形式

\n

我们知道,对于 n 阶矩阵 , 有

\n

因此,有

\n

\n

所以

\n

𝕕𝕕𝕥𝕣𝕕

\n

** 第二步:** 使用矩阵微分法则 (22_1) 式~(22_4_1) 式,迹的若干性质 (2) 式~(10) 式,六个基础公式 (25_1_1) 式~(25_3_2) 式,将 (62) 式化简成形如 (24) 式的形式

\n

我们发现,这是一个复合函数的全微分 是多元函数, 是一元函数,故由 (15) 式中的前两个等号,令 ,则

\n

𝕕𝕥𝕣𝕥𝕣𝕕𝕥𝕣𝕕𝕥𝕣𝕕𝕥𝕣𝕕𝕥𝕣𝕕

\n

由 (25_2_1) 式得:

\n

$$\\mathbb{d}(\\mathbb{tr}(|\\pmb{X}|^3)) = \\mathbb{tr}(3|\\pmb{X}|^2\\mathbb{d}|\\pmb{X}|) = \\mathbb{tr}(3|\\pmb{X}|2|\\pmb{X}|\\mathbb{tr}(\\pmb{X}{-1}\\mathbb{d}\\pmb{X}) ) = \\mathbb{tr}(3|\\pmb{X}|3\\mathbb{tr}(\\pmb{X}{-1}\\mathbb{d}\\pmb{X}) ) (64)$$

\n

标量的迹还是标量,由 (2) 式得:

\n

$$\\mathbb{d}(\\mathbb{tr}(|\\pmb{X}|^3)) = \\mathbb{tr}(3|\\pmb{X}|3\\mathbb{tr}(\\pmb{X}{-1}\\mathbb{d}\\pmb{X}) ) = 3|\\pmb{X}|3\\mathbb{tr}(\\pmb{X}{-1}\\mathbb{d}\\pmb{X})(65)$$

\n

由 (3) 式得:

\n

$$\\mathbb{d}(\\mathbb{tr}(|\\pmb{X}|^3)) = 3|\\pmb{X}|3\\mathbb{tr}(\\pmb{X}{-1}\\mathbb{d}\\pmb{X})= \\mathbb{tr}(3|\\pmb{X}|3\\pmb{X}{-1}\\mathbb{d}\\pmb{X}) = \\mathbb{tr}(3|\\pmb{X}3|\\pmb{X}{-1}\\mathbb{d}\\pmb{X}) $$

\n

第三步:得出结果

\n

$$\\frac{\\partial|\\pmb{X}^3|}{\\partial \\pmb{X}^T} =\\frac{\\partial|\\pmb{X}|^3}{\\partial \\pmb{X}^T} =3|\\pmb{X}|3\\pmb{X}{-1} = 3|\\pmb{X}3|\\pmb{X}{-1} \\ \\frac{\\partial|\\pmb{X}^3|}{\\partial \\pmb{X}} =\\frac{\\partial|\\pmb{X}|^3}{\\partial \\pmb{X}} =3|\\pmb{X}|3(\\pmb{X}{-1})^T = 3|\\pmb{X}3|(\\pmb{X}{-1})^T (66)$$

\n

\n

本系列到这里就结束了,至此,我们遇到的所有的矩阵变元 / 向量变元实值标量函数一阶矩阵求导都可以用本文的方法进行计算。至于高阶求导、矩阵变元的实矩阵函数的求导,我目前还没有遇到,如果将来遇到了,我会考虑再写几篇的。

\n

矩阵求导系列其他文章:

\n

对称矩阵的求导,以多元正态分布的极大似然估计为例(矩阵求导 —— 补充篇) - Iterator 的文章 - 知乎

\n

矩阵求导公式的数学推导(矩阵求导 —— 基础篇) - Iterator 的文章 - 知乎

\n

矩阵求导的本质与分子布局、分母布局的本质(矩阵求导 —— 本质篇) - Iterator 的文章 - 知乎

\n

参考

\n
    \n
  1. ^ 张贤达《矩阵分析与应用(第二版)》P50
  2. \n
  3. ^《高等数学 同济大学第七版 上册》P111
  4. \n
  5. ^《高等数学 同济大学第七版 上册》P115
  6. \n
  7. ^《高等数学 同济大学第七版 下册》P72
  8. \n
  9. ^《高等数学 同济大学第七版 下册》P114
  10. \n
  11. ^ 张贤达《矩阵分析与应用(第二版)》P154
  12. \n
  13. ^ 张贤达《矩阵分析与应用(第二版)》P155
  14. \n
  15. [8](#ref_8_0)b 张贤达《矩阵分析与应用(第二版)》P152
  16. \n
  17. [9](#ref_9_0)b 张贤达《矩阵分析与应用(第二版)》P156
  18. \n
  19. [10](#ref_10_0)bcd 张贤达《矩阵分析与应用(第二版)》P153
  20. \n
  21. ^《工程数学线性代数 同济大学第六版》P17
  22. \n
  23. ^《工程数学线性代数 同济大学第六版》P38
  24. \n
  25. ^《工程数学线性代数 同济大学第六版》P40
  26. \n
  27. [11](#ref_14_0)b 张贤达《矩阵分析与应用(第二版)》P160
  28. \n
  29. [12](#ref_15_0)b 张贤达《矩阵分析与应用(第二版)》P158
  30. \n
\n
\n
\n
    \n
  1. 张贤达《矩阵分析与应用(第二版)》P143 ↩︎ ↩︎ ↩︎ ↩︎ ↩︎

    \n
  2. \n
  3. 《高等数学 同济大学第七版 下册》P66 ↩︎

    \n
  4. \n
  5. 张贤达《矩阵分析与应用(第二版)》P144 ↩︎ ↩︎ ↩︎

    \n
  6. \n
  7. 张贤达《矩阵分析与应用(第二版)》P146 ↩︎ ↩︎ ↩︎

    \n
  8. \n
  9. 张贤达《矩阵分析与应用(第二版)》P145 ↩︎

    \n
  10. \n
  11. 张贤达《矩阵分析与应用(第二版)》P147 ↩︎

    \n
  12. \n
  13. a ↩︎

    \n
  14. \n
  15. a ↩︎

    \n
  16. \n
  17. a ↩︎

    \n
  18. \n
  19. a ↩︎

    \n
  20. \n
  21. a ↩︎

    \n
  22. \n
  23. a ↩︎

    \n
  24. \n
\n
\n","_path":"20240509/ju-zhen-qiu-dao/","_link":"https://yaoqs.github.io/20240509/ju-zhen-qiu-dao/","_id":"clzpq9hyk009usgerb1nq96po"}}